tensor product of modules

模的张量积